AcroTEX: Acrobat and TEX Team Up D.P. Story Department of Mathematics and Computer Science The University of Akron Akron, OH 44325

Source URL: www.tug.org

• TeX
• Digital typography
• Typesetting
• Computer file formats
• Open formats
• PdfTeX
• Dvips
• Device independent file format
• ConTeXt
• Software
• Application software
• Computing

Layouts for GD00 Graph-Drawing Competition Vladimir Batagelj Faculty of Mathematics and Physics University of Ljubljana e-mail: Andrej Mrvar

Source URL: vlado.fmf.uni-lj.si

• Software engineering
• Associative containers
• Sequence container
• Iterator
• Yellow
• Allocator
• C++ Standard Library
• Computing
• Computer programming

Seagate MSci Physics Scholarship SCHOOL OF MATHEMATICS AND PHYSICS SEAGATE TECHNOLOGY SCHOLARSHIPS NOTES FOR APPLICANTS APPLICATION FORM & REFEREE’S REPORT FORM

Source URL: www.qub.ac.uk

• GCE Advanced Level
• Computing
• Knowledge
• Technology
• Seagate Technology
• Email
• Physics

Partial Pathfinding Using Map Abstraction and Refinement Nathan Sturtevant and Michael Buro Department of Computing Science, University of Alberta Edmonton, Alberta, Canada T6G 2E8 {nathanst,mburo}@cs.ualberta.ca

Source URL: www.societyofrobots.com

• Artificial intelligence
• Search algorithms
• Network theory
• Combinatorial optimization
• Routing algorithms
• Pathfinding
• A* search algorithm
• Shortest path problem
• Heuristic function
• Mathematics
• Game artificial intelligence
• Graph theory

Reliable real arithmetic and one-dimensional dynamical systems Keith Briggs, BT Research

Source URL: keithbriggs.info

• Numerical analysis
• Computer arithmetic
• Data types
• Arithmetic
• Floating point
• Propagation of uncertainty
• MPFR
• Logarithm
• GNU Multiple Precision Arithmetic Library
• Mathematics
• Computing
• Numerical software

Faculty of Engineering, Computing and Mathematics Professional practicum certificate of practical work A separate certificate of practical work must be completed for each work placement. Certificates should be attached

Source URL: www.ecm.uwa.edu.au

• Practicum
• Training
• Work experience
• Regulation and licensure in engineering
• Bachelor of Engineering
• Learning
• Insurance
• Knowledge
• Internship
• Education
• Employment
• Vocational education

Faculty of Engineering, Computing and Mathematics Professional Practicum cover sheet Reports can be submitted at any time to the ECM Student Office but must be received by the last day of your final semester at the late

Source URL: www.ecm.uwa.edu.au

A Set Coverage-based Mapping Heuristic for Scheduling Distributed Data-Intensive Applications on Global Grids Srikumar Venugopal and Rajkumar Buyya Grid Computing and Distributed Systems (GRIDS) Laboratory Department of

Source URL: www.cloudbus.org

• Applied mathematics
• Job shop scheduling
• Operations research
• Data Intensive Computing
• Job scheduler
• Greedy algorithm
• Algorithm
• Computer cluster
• Computing
• Mathematics
• Mathematical optimization

Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware Juan Caballero Pongsin Poosankam

Source URL: bitblaze.cs.berkeley.edu

• Software testing
• Error detection and correction
• Software bugs
• Abstract interpretation
• Symbolic execution
• Malware
• Function
• Hash function
• Block cipher
• Mathematics
• Computing
• Computer programming

Learning Regular Expressions from Noisy Sequences Ugo Galassi and Attilio Giordana Dipartimento di Informatica, Universit` a Amedeo Avogadro Via Bellini 25G, Alessandria, Italy

Source URL: www.ugogalassi.net

• String
• Computing
• Combinatorics
• Computational phylogenetics
• Pattern matching
• Substring
• Regular expression
• Smith–Waterman algorithm
• Formal grammar
• Formal languages
• Mathematics
• Dynamic programming